Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´

Source URL: clip.dia.fi.upm.es

• Software engineering
• Logic in computer science
• Assertion
• Debugging
• Abstract interpretation
• Principles of Programming Languages
• Verification
• Software development process
• Computer programming
• Computing
• Formal methods

SERVE THE PEOPLE BRIGADE CORDILLERA DISASTER RESPONSE NETWORK No. 55 Ferguson Road, Baguio City Hotlines:Tel No4239, Mobile Numbers, October 15, 2009 FOR IMMEDIATE RELEASE

Source URL: cpaphils.org

• Philippines
• Benguet
• Baguio
• Igorot people
• Tadian
• Mountain Province
• University of the Cordilleras
• Mountain Province
• Balbalan
• Kalinga
• Atok
• Benguet
• Cordillera Administrative Region
• Provinces of the Philippines
• Asia

Lucie Micek - Personal Resume Třebovská 449 Ústí nad Orlicí 56203 Mobile: Email:

Source URL: www.tlumoceni-preklady.cz

• States and territories of Australia
• Victoria
• SPSS
• Deakin University
• Marketing research

Applied Probability Trust (23 MarchPROBABILISTIC RESULTS FOR A MOBILE SERVICE SCENARIO JESPER MØLLER,∗ Aalborg University MAN LUNG YIU,∗∗ Hong Kong Polytechnic University

Source URL: people.math.aau.dk

• Mathematics
• Siméon Denis Poisson
• Spectral theory of ordinary differential equations
• Symbol
• Mathematical analysis
• Physics
• Normal distribution

Efficient Java Implementation of Elliptic Curve Cryptography for J2ME-Enabled Mobile Devices Johann Großsch¨adl1 , Dan Page2 , and Stefan Tillich2 1 University of Luxembourg, CSC Research Unit, LACS,

Source URL: eprint.iacr.org

• Computer arithmetic
• Finite fields
• Group theory
• Binary arithmetic
• Cryptography
• Elliptic curve cryptography
• Arbitrary-precision arithmetic
• Modular arithmetic
• XTR
• Abstract algebra
• Mathematics
• Arithmetic

Application Part D: Curriculum Vitae - Adrian R. Pearce Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Mobile: +Desk: +Email:

Source URL: people.eng.unimelb.edu.au

Re-Encryption-Based Key Management Towards Secure and Scalable Mobile Applications in Clouds Piotr K. Tysowski Dept. of Electrical & Computer Engineering University of Waterloo Waterloo, Ontario, Canada

Source URL: eprint.iacr.org

• Public-key cryptography
• Password
• Deniable encryption
• Encrypting File System
• Cryptography
• Proxy re-encryption
• Cloud computing

e-learning : Fall 2007 Report to the Provost and Chancellor This page last changed on Dec 18, 2007 by unsworth. E-Learning at the University of Illinois, Urbana-Champaign December 18, 2007

Source URL: provost.illinois.edu

• Virtual learning environment
• Lifelong learning
• University of Illinois at Urbana–Champaign
• Educational technology
• Blended learning
• Mobile Assisted Language Learning
• Education
• Educational psychology
• E-learning

ICT & Library More information, less time looking for it New University of Worcester Mobile App The new app provides the latest University news, links to Blackboard, PC availability, PC booking system, ‘how to’ video

Source URL: www.worc.ac.uk

• Science
• Library
• Librarian
• Public library
• Email
• Information and communication technologies in education
• Library science
• Technology
• Marketing

Distance-Based Computational Models for Facilitating Robot Interaction with Children David Feil-Seifer Department of Computer Science, Yale University and

Source URL: robotics.usc.edu

• Multimodal interaction
• Humanoid robot
• Robot
• Cog
• Mobile robot
• Autonomous robot
• EveR-1
• Artificial intelligence
• Technology
• Robotics
• Human communication
• Human–robot interaction